Modelling and verifying abilities of rational agents
نویسنده
چکیده
منابع مشابه
Stability and Strategic Time-Dependent Behaviour in Multiagent Systems
Temporal reasoning and strategic behaviour are important abilities of multiagent systems. We introduce a game-theoretic framework suitable for modelling selfish and rational agents which can store and reason about the evolution of an environment, and act according to their interests. Our aim is to identify stable interactions: those where no agent has a benefit from changing his behaviour to an...
متن کاملA Decidable Dynamic Logic for Agents with Motivational Attitudes
The present paper defines a multi-modal logic for modelling and verifying the behaviour of intelligent and rational agents. The agents can perform actions, can reason about their own knowledge and their motivational attitudes. We give a Hilbert-style axiomatisation which is proved sound and complete with respect to a Kripke-style semantics. We also show the small model property, decidability, a...
متن کاملSTUDYING THE BEHAVIOR OF SOLUTIONS OF A SECOND-ORDER RATIONAL DIFFERENCE EQUATION AND A RATIONAL SYSTEM
In this paper we investigate the behavior of solutions, stable and unstable of the solutions a second-order rational difference equation. Also we will discuss about the behavior of solutions a the rational system, we show these solutions may be stable or unstable.
متن کاملModelling Rational Agents in Multi-Agent Systems
This extended abstract gives an overview about my current and future research as well as a summary of my PhD thesis. The thesis is about rational agents in multi-agent systems where the main focus is on formal methods that allow for modelling and reasoning about such systems and its comprised agents. Several aspects of rational agency are treated, for instance, rational agents’ behaviors, coali...
متن کاملAn Optimal G^2-Hermite Interpolation by Rational Cubic Bézier Curves
In this paper, we study a geometric G^2 Hermite interpolation by planar rational cubic Bézier curves. Two data points, two tangent vectors and two signed curvatures interpolated per each rational segment. We give the necessary and the sufficient intrinsic geometric conditions for two C^2 parametric curves to be connected with G2 continuity. Locally, the free parameters w...
متن کامل